Формальная спецификация

См. также в других словарях:

• Формальная спецификация — В информатике формальная спецификация  это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это… …   Википедия

• Спецификация — Спецификация  (позднелат. specificatio, от лат. species  род, вид, разновидность и facio  делают) может означать: определение и перечень специфических особенностей, уточнённая классификация чего нибудь; инженерный термин,… …   Википедия

• ФОРМАЛЬНАЯ ШКОЛА — неофициальное название группы русских литературоведов и лингвистов, объединившихся в конце 1910 х гг. в Петербурге и Москве на общих методологических основаниях и, в сущности, сделавших из литературоведения науку мирового значения, подготовив… …   Энциклопедия культурологии

• Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

• UML — (англ. Unified Modeling Language  унифицированный язык моделирования)  язык графического описания для объектного моделирования в области разработки программного обеспечения. UML является языком широкого профиля, это  открытый… …   Википедия

• формальное описание — формальная спецификация Спецификации, выраженные с помощью формально определенного языка спецификаций. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом… …   Справочник технического переводчика

• Unified Modeling Language — UML (сокр. от англ. Unified Modeling Language  унифицированный язык моделирования)  язык графического описания для объектного моделирования в области разработки программного обеспечения. UML является языком широкого профиля, это открытый стандарт …   Википедия

• Гради Буч — UML (сокр. от англ. Unified Modeling Language  унифицированный язык моделирования)  язык графического описания для объектного моделирования в области разработки программного обеспечения. UML является языком широкого профиля, это открытый стандарт …   Википедия

• CSV — У этого термина существуют и другие значения, см. CSV (значения). CSV Comma Separated Values Расширение .csv MIME text/csv Тип формата представление базы данных Стандарт(ы) RFC 4180 CSV (от англ …   Википедия

• AIML — (Artificial Intelligence Markup Language)  язык разметки для искусственного интеллекта. AIML  подмножество (диалект) XML, он предназначается для создания виртуальных собеседников. Содержание 1 Разработка 2 Элементы AIML …   Википедия

• Common Type System — (сокр. CTS, рус. Стандартная система типов) часть .NET Framework, формальная спецификация, определяющая, как какой либо тип (класс, интерфейс, структура, встроенный тип данных) должен быть определён для его правильного выполнения средой .NET.… …   Википедия